/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package simhya;

/**
 *
 * @author Luca
 */
public class GlobalOptions {
    public static int transitionThresholdForRateTree = 50;
    public static int maximumSequenceOfInstantaneousTransitions = 50;
    public static int initialArraySize = 1000;
    public static int minimumSizeEventQueue = 10000;
    public static boolean alwaysComputeRateAfterGuard = true;

}
